nonDeterministicGoal(InterestingVarsterm, Goal, ListTM):-
	findall(InterestingVarsterm, Goal, L), buildTermModel(L, ListTM).